退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:代码生成和验证工具的正式证明
Leroy, Xavier;
机译:基于扩展过程演算的云制造服务组合和BPEL代码生成的形式验证
机译:正式验证用于代码生成的QVT转换
机译:降低基于证明助手的形式验证的成本或:无需证明负担的定罪。
机译:概念验证:检测犬是否是验证潜在的肺癌生物标志物的有用工具?
机译:代码生成和验证工具的形式证明
机译:正式验证/设计证明方法的同行评审
机译:消息验证码生成设备,消息验证码验证设备,消息验证码生成方法,消息验证码验证方法,程序和记录介质
机译:消息认证码生成设备,消息认证码验证设备,消息认证码生成方法,消息认证码验证方法和程序
机译:消息认证码生成设备,消息认证码验证设备,消息认证码生成方法,消息认证码验证方法,程序和记录介质
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。